Data types - PDFSEARCH.IO - Document Search Engine

Data types
Results: 6238

#	Item
541	Titanium Language Reference Manual, versionPaul N. Hilfinger Dan Oscar Bonachea Kaushik Datta David Gay Add to Reading List Source URL: titanium.cs.berkeley.edu Language: English - Date: 2014-04-29 06:11:56 Cross-platform software Data types Object-oriented programming languages Programming language comparisons Java platform Java D Constructor Sun Microsystems C Sharp Array data type Constant
542	Mostly Sound Type System Improves a Foundational Program Verifier Josiah Dodds and Andrew W. Appel Princeton University Abstract. We integrate a verified typechecker with a verified program Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2013-09-23 14:54:00 Software engineering Computing Logic Data types Functional programming Lambda calculus Type theory Logic in computer science Eval Hoare logic Anonymous function Separation logic
543	AN-EA-001: Importing Control/CompactLogix Pre-Defined Data Types for C-more Add to Reading List Source URL: support.automationdirect.com Language: English - Date: 2007-08-08 13:57:00 Computing Software engineering Zip Software Template processor Comparison of C Sharp and Java Communications protocol
544	MGMA PROVIDER COMPENSATION 2015 BASED ON 2014 SURVEY DATA All Practice Types Specialty Add to Reading List Source URL: www.mgma.com Language: English - Date: 2015-06-18 12:37:53
545	Replicated Data Types: Specification, Verification, Optimality Sebastian Burckhardt Alexey Gotsman Hongseok Yang Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-11-14 12:44:57 Computing Data types Software engineering Computer programming Abstract data types Fault-tolerant computer systems Type theory Consistency model Transaction processing Replication String List
546	Inductive and Coinductive Data Types in Typed Lambda Calculus Revisited Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2015-07-02 10:00:20 Type theory Computability theory Functional programming Theoretical computer science Recursion Initial algebra Lambda calculus Primitive recursive function Inductive type Catamorphism F-algebra
547	User-defined Data Types in Rhapsody Techletter Nr 5 Content Add to Reading List Source URL: www.willert.de Language: English - Date: 2015-06-15 03:53:21 Software engineering Computer programming Computing Data types C++ C Type theory C++ classes Const Enumerated type Typedef Struct
548	Mind your Language(s) A discussion about languages and security (Long Version) ´ Eric Jaeger, Olivier Levillain and Pierre Chifflier Add to Reading List Source URL: spw14.langsec.org Language: English - Date: 2014-06-12 22:54:26 Software engineering Computing Computer programming Data types Cross-platform software Object-oriented programming languages Procedural programming languages C Printf format string Relational operator Const Type conversion
549	YAYOI: Taxonomy Database System over International Computer Networks 1 2 Add to Reading List Source URL: www.jsbi.org Language: English - Date: 1998-01-09 02:49:55 Recursion B-tree Biological databases Phylogenetics Data types Database Taxonomy DNA database Phylogenetic tree Tree Bioinformatics

UPDATE